<body>
The tools define the 'controller' part of the Backgammon GUI. 
The tools allows checkers and dice to be manipulated. 
</body>